Multi-Path Signal Synchronization Model with Phase Ratio and Dispersion Constraints
نویسندگان
چکیده
منابع مشابه
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization
In this paper, we consider the automated planning of optimal paths for a robotic team satisfying a high level mission specification. Each robot in the team is modeled as a weighted transition system where the weights have associated deviation values that capture the non-determinism in the traveling times of the robot during its deployment. The mission is given as a Linear Temporal Logic (LTL) f...
متن کاملMulti-Agent Path Finding with Kinematic Constraints
Multi-Agent Path Finding (MAPF) is well studied in both AI and robotics. Given a discretized environment and agents with assigned start and goal locations, MAPF solvers from AI find collision-free paths for hundreds of agents with userprovided sub-optimality guarantees. However, they ignore that actual robots are subject to kinematic constraints (such as finite maximum velocity limits) and suff...
متن کاملControl and Communication with Signal-to-Noise Ratio Constraints
This thesis is about two problems in the intersection of communication and control theory. Their common feature is that they involve communication over an additive white noise channel with a signal-to-noise ratio (SNR) constraint. The first problem concerns the transmission of a real-valued signal from a partially observed Markov source. The distortion criterion is the mean squared error and th...
متن کاملCarrier Synchronization for Low Signal-to-Noise Ratio Binary Phase-Shift-Keyed Modulated Signals
A novel information-reduced carrier-synchronization system has been evaluated by means of both analysis and simulation. The idea is to use preliminary estimates of the received binary symbols to reduce the number of transitions before attempting to track the carrier phase, in order to minimize the effects of squaring loss on loop performance. It is shown that this technique indeed yields signif...
متن کاملPath Logics with Synchronization
Over trees and partial orders, chain logic and path logic are systems of monadic second-order logic in which second-order quantification is applied to paths and to chains (i.e., subsets of paths), respectively; accordingly we speak of the path theory and the chain theory of a structure. We present some known and some new results on decidability of the path theory and chain theory of structures ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATEC Web of Conferences
سال: 2017
ISSN: 2261-236X
DOI: 10.1051/matecconf/201712401002